What (who) is L4 (micronúcleo) - definition

A família L4 é uma família de micronúcleos de segunda geração baseada nos projetos e implementações originais do cientista da computação alemão Jochen Liedtke. Foi originalmente implementada como código de montagem extremamente otimizado específico do Intel i386, a interface de programação de aplicativos recebeu desenvolvimento extensivo em várias direções, ambas em obter um nível de independência de plataforma e também em melhorar a segurança, isolação e robustez.

Há várias reimplementações da interface de núcleo binária original do micronúcleo L4 (interface binária de aplicação) e seus sucessores de alto nível, incluindo L4Ka::Pistachio (Uni Karlsruhe), L4/MIPS (UNSW) e Fiasco (TU Dresden). Por essa razão, o nome L4 foi generalizado e não se refere mais à implementação original de Liedtke. Ele serve para toda a família de micronúcleos, incluindo a interface do L4 e suas diferentes versões.

O L4 é usado em produções de alguns telemóveis.